Model-based Engineering of Autonomous Systems using Ontologies and Metamodels

Our research focuses on engineering processes for autonomous intelligent systems construction with a life-cycle holistic view, by means of a model-based framework. The conceptual core of the framework is ontologically-driven. Our ontological approach consists of two elements. The first one is a domain Ontology for Autonomous Systems (OASys) to capture the autonomous system structure, function and behaviour. The second element is an Ontology-driven Engineering Methodology (ODEM) to develop the target autonomous system. This methodology is based on Model-based Systems Engineering and produces models of the system as core assets. These models are used through the whole system life-cycle, from implementation or validation to operation and maintenance. On the application side, the ontological framework has been used to develop a metacontrol engineering technology for autonomous systems, the OM Engineering Process (OMEP), to improve their runtime adaptivity and resilience. OMEP has been applied to a mobile robot in the form of a metacontroller built on top of the robot's control architecture. It exploits a functional model of the robot (TOMASys Model) to reconfigure its control if required by the situation at runtime. The functional model is based on a metamodel about controller function and structure using concepts form the ontology. The metacontroller was developed using the ontology-driven methodology and a robot control reference architecture

Ontologies as Backbone of Cognitive Systems Engineering

Cognitive systems are starting to be deployed as appliances across the technological landscape of modern societies. The increasing availability of high performance computing platforms has opened an opportunity for statistics-based cognitive systems that perform quite as humans in certain tasks that resisted the symbolic methods of classic artificial intelligence. Cognitive artefacts appear every day in the media, raising a wave of mild fear concerning artificial intelligence and its impact on society. These systems, performance notwithstanding, are quite brittle and their reduced dependability limips their potential for massive deployment in mission-critical applications -e.g. in autonomous driving or medical diagnosis. In this paper we explore the actual possibility of building cognitive systems using engineering-grade methods that can assure the satisfaction of strict requirements for their operation. The final conclusion will be that, besides the potential improvement provided by a rigorous engineering process, we are still in need of a solid theory -possibly the main outcome of cognitive science- that could sustain such endeavour. In this sense, we propose the use of formal ontologies as backbones of cognitive systems engineering processes and workflows

Engineering an Ontology for Autonomous Systems - The OASys Ontology

This paper describes the development of an ontology for autonomous systems, as the initial stage of a research programe on autonomous systems’ engineering within a model-based control approach. The ontology aims at providing a unified conceptual framework for the autonomous systems’ stakeholders, from developers to software engineers. The modular ontology contains both generic and domain-specific concepts for autonomous systems description and engineering. The ontology serves as the basis in a methodology to obtain the autonomous system’s conceptual models. The objective is to obtain and to use these models as main input for the autonomous system’s model-based control system

Ontology driven description and engineering of autonomous systems: application to process system engineering

Autonomous systems refer to systems capable of operating in a real world environment without any form of external control for extended periods of time. Autonomy is a desired goal for every system as it improves its performance, safety and profit. Ontologies are a way to conceptualize the knowledge of a specific domain. In this paper an ontology for the description of autonomous systems as well as for its development (engineering) is presented and applied to a process. This ontology is intended to be applied and used to generate final applications following a model driven methodology

Towards a robot task ontology standard

Ontologies serve robotics in many ways, particularly in de- scribing and driving autonomous functions. These functions are built around robot tasks. In this paper, we introduce the IEEE Robot Task Representation Study Group, including its work plan, initial development efforts, and proposed use cases. This effort aims to develop a standard that provides a comprehensive on- tology encompassing robot task structures and reasoning across robotic domains, addressing both the relationships between tasks and platforms and the relationships between tasks and users. Its goal is to develop a knowledge representation that addresses task structure, with decomposition into subclasses, categories, and/or relations. It includes attributes, both common across tasks and specific to particular tasks and task types

A review and comparison of ontology-based approaches to robot autonomy

Within the next decades, robots will need to be able to execute a large variety of tasks autonomously in a large variety of environments. To relax the resulting programming effort, a knowledge-enabled approach to robot programming can be adopted to organize information in re-usable knowledge pieces. However, for the ease of reuse, there needs to be an agreement on the meaning of terms. A common approach is to represent these terms using ontology languages that conceptualize the respective domain. In this work, we will review projects that use ontologies to support robot autonomy. We will systematically search for projects that fulfill a set of inclusion criteria and compare them with each other with respect to the scope of their ontology, what types of cognitive capabilities are supported by the use of ontologies, and which is their application domain.Peer ReviewedPostprint (author's final draft

Consciousness and Understanding in Autonomous Systems

This position paper highlights the importance of having a formal notion of understanding as one of the cornerstones in the construction of conscious AIs. It will show that the capability of understanding both the perceptual and the action flows is critical for the correct operation of situated autonomous systems. An assessment is also made on the contribution of the machine learning domain towards this direction

Consciousness and Understanding in Autonomous Systems

This position paper highlights the importance of having a formal notion of understanding as one of the cornerstones in the construction of conscious AIs. It will show that the capability of understanding both the perceptual and the action flows is critical for the correct operation of situated autonomous systems. An assessment is also made on the contribution of the machine learning domain towards this direction

Towards an Ontology for Task and Planning in Autonomous Systems: An Emergency Scenario

Emergency scenarios where chemical explosions or fire outbreaks take place become dangerous environments to send a human team to. UAVs and UGVs working together with the human rescue team can prevent endangering the human team. To perform the emergency tasks, it is necessary to define what the UAV/UGV robotic system will do in the emergency area, detailing what each of the robots will specifically carry out. Next, the different actions should be planned to perform such tasks. An ontology -based approach is described in this paper, where the cohesive element to specify the planning process is a task ontology. We describe the initial contents of our ontology for task and planning in autonomous robots, with an example of its use within an emergency scenario where a combined UAV/UGV robotic system is supposed to act